Simulation and Formal Verification for Improving Safety of PLC Programs

The use of analysis techniques for improving quality of software for industrial controllers is widely used. Mainly Simulation and Formal Verification can be used as complementary techniques improving dependability of mechatronic systems behavior. In this paper there are used Simulation and Formal Verification for guaranteeing safe software for Programmable Logic Controllers, mainly related with using Function blocks of IEC 61131-3 standard. For studying, simulating and verifying behavior of those blocks are used timed automata, as modeling formalism, and UPPAAL, as tool for simulation and Formal Verification purposes

Zinco sérico e perfil hormonal de pacientes do sexo masculino submetidos à hemodiálise em uso de eritropoetina humana recombinante

INTRODUÇÃO: Em pacientes submetidos à hemodiálise crônica (HD), o tratamento com eritropoetina humana recombinante (rHuEpo) está associado a melhora no bem-estar geral e na qualidade de vida. OBJETIVOS: O objetivo do presente trabalho foi avaliar os níveis dos hormônios sexuais e do zinco em pacientes sob HD e em uso de rHuEpo em comparação com pacientes sem tratamento com essa droga. MATERIAL E MÉTODOS: Dois grupos de doze pacientes do sexo masculino cada um, submetidos à HD, sendo um deles sem uso de rHuEpo (grupo 1) e o outro utilizando a droga (grupo 2), foram selecionados para um estudo transversal, comparando-se os níveis séricos do zinco, da albumina, dos hormônios FSH, LH, prolactina, testosterona e do hematócrito. RESULTADOS: No grupo 2, os valores de testosterona (4,65 vs. 3,5ng/ml), hematócrito (30,5 vs. 22%), albumina (3,9 vs. 3,7g/dl) e zinco (62,5 vs. 50,5microg/dl) foram significativamente maiores do que no grupo 1 (p < 0,05). DISCUSSÃO: Sugere-se que, em pacientes recipientes da rHuEpo, os níveis mais altos de hematócrito, zinco, albumina e testosterona possam ser fatores que contribuam para melhorar a disfunção sexual e a qualidade de vida dos pacientes hemodialisados. CONCLUSÃO: Os pacientes em HD em uso da rHuEpo apresentaram níveis mais elevados de testosterona, zinco e hematócrito quando comparados com os pacientes sem a terapia hormonal. __________________________________________________________________________________________________________________ ABSTRACTINTRODUCTION: Treatment with recombinant human erythropoietin (rHuEpo) is associated with an improvement in well-being and quality of life in patients submitted to maintenance hemodialysis (HD). OBJECTIVES: The goal of this work was to evaluate the levels of sex hormones, hematocrit, albumin and zinc in HD patients with rHuEpo therapy and compare them with those observed in patients without rHuEpo treatment. MATERIAL AND METHODS: Two groups of twelve male HD patients each were selected for a transversal study; one did not receive rHuEpo (group 1) whereas the other one did (group 2). Levels of hematocrit, albumin, zinc, luteinizing hormone (LH), follicle-stimulating hormone (FSH), prolactin, and testosterone were determined. RESULTS: Group 2 patients showed significantly higher medians (p < 0.05) of testosterone (4.65 vs. 3.5ng/mL), hematocrit (30.5 vs. 22%), albumin (3,9 vs. 3,7g/dL) and zinc (62.5 vs. 50.5microg/dL) than group 1 patients. DISCUSSION: In this study rHuEpo treatment resulted in higher hematocrit, testosterone, zinc and albumin. It is suggested that, in patients recipients of rHuEpo, higher levels of zinc and testosterone may be factors that contribute to relieve sexual dysfunction and improve quality of life. CONCLUSIONS: In HD patients, hematocrit, albumin, serum zinc and testosterone levels were higher in rHuEpo recipients when compared with patients not receiving this hormone therapy

Seagrass and submerged aquatic vegetation (VAS) habitats off the Coast of Brazil: state of knowledge, conservation and main threats

Seagrass meadows are among the most threatened ecosystems on earth, raising concerns about the equilibrium of coastal ecosystems and the sustainability of local fisheries. The present review evaluated the current status of the research on seagrasses and submerged aquatic vegetation (SAV) habitats off the coast of Brazil in terms of plant responses to environmental conditions, changes in distribution and abundance, and the possible role of climate change and variability. Despite an increase in the number of studies, the communication of the results is still relatively limited and is mainly addressed to a national or regional public; thus, South American seagrasses are rarely included or cited in global reviews and models. The scarcity of large-scale and long-term studies allowing the detection of changes in the structure, abundance and composition of seagrass habitats and associated species still hinders the investigation of such communities with respect to the potential effects of climate change. Seagrass meadows and SAV occur all along the Brazilian coast, with species distribution and abundance being strongly influenced by regional oceanography, coastal water masses, river runoff and coastal geomorphology. Based on these geomorphological, hydrological and ecological features, we characterised the distribution of seagrass habitats and abundances within the major coastal compartments. The current conservation status of Brazilian seagrasses and SAV is critical. The unsustainable exploitation and occupation of coastal areas and the multifold anthropogenic footprints left during the last 100 years led to the loss and degradation of shoreline habitats potentially suitable for seagrass occupation. Knowledge of the prevailing patterns and processes governing seagrass structure and functioning along the Brazilian coast is necessary for the global discussion on climate change. Our review is a first and much-needed step toward a more integrated and inclusive approach to understanding the diversity of coastal plant formations along the Southwestern Atlantic coast as well as a regional alert the projected or predicted effects of global changes on the goods and services provided by regional seagrasses and SAV

Síntese de quinazolinas graxas derivadas de compostos de biginelli

Algumas moléculas com núcleo pirimidínico apresentam atividade antineoplásica, devido à afinidade desse núcleo com o sítio de ligação do ATP nas proteínas quinases. Este trabalho teve como objetivo a criação de um novo tipo de moléculas híbridas, com um núcleo quinazolina ligado a uma cadeia graxa. O propósito é aumentar a solubilidade lipídica dessas moléculas para explorar sua atividade em tecidos que os medicamentos atuais não conseguem alcançar. A reação foi feita em quatro etapas, partindo de um composto de Biginelli, através de metodologias descritas na literatura. Na primeira etapa foi feito a síntese dos compostos de Biginelli; em seguida esses compostos foram oxidados com persulfato de potássio; o produto oxidado foi tratado com POCl3 para formar 2-cloro pirimidinas; na última etapa, foi feita a substituição do cloro por uma amina graxa. A etapa de oxidação foi aperfeiçoada, resultando em melhores rendimentos que os obtidos através do protocolo descrito na literatura. A caracterização por RMN-1H e RMN-13C indicam que molécula alvo foi obtida. O produto será encaminhado para testes biológicos

Simulation and Formal Verification for Improving Safety of PLC Programs

The use of analysis techniques for improving quality of software for industrial controllers is widely used. Mainly Simulation and Formal Verification can be used as complementary techniques improving dependability of mechatronic systems behavior. In this paper there are used Simulation and Formal Verification for guaranteeing safe software for Programmable Logic Controllers, mainly related with using Function blocks of IEC 61131-3 standard. For studying, simulating and verifying behavior of those blocks are used timed automata, as modeling formalism, and UPPAAL, as tool for simulation and Formal Verification purposes

Systematic conversion of the behaviour defined in the funtion blocks of IEC 61 131-3 standard to timed automata

Dissertação de mestrado integrado em Engenharia MecânicaNesta dissertação é proposto um conjunto de modelos de alguns blocos funcionais da norma IEC 61 131-3 tendo em conta a Simulação e a verificação formal da especificação de comando de um sistema mecatrónico. A modelação destes blocos funcionais é feita utilizando TA (Timed Automata) e o software de simulação e verificação (UPPAAL), que permite simular e realizar model checking sobre modelos em TA. Todos os comportamentos dos blocos funcionais considerados relevantes foram transponíveis para um modelo em autómatos finitos temporizados e foi possível tirar conclusões sobre a Simulação e verificação formal do comportamento dos mesmos. Um estudo de caso foi considerado para ilustração dos resultados obtidos e, também, permitiu extrapolar conclusões tiradas, para outros casos similares.In this dissertation, a series of models of same function blocks of the standard IEC 61 131-3 are proposed, taking into account the simulation and formal verification of the command specification of a mechatronic system. The modelling of these function blocks is done using TA and software of simulation and verification (UPPAAL) that allows the simulation and model checking of models in TA. The behavior of all the function blocks that were considered relevant were converted to TA models and it was possible to take conclusions about the simulation and formal verification of said models. A case study was considered to demonstrate the results obtained and also extrapolate the conclusions to other similar cases

Síntese de quinazolinas graxas derivadas de compostos de biginelli

Algumas moléculas com núcleo pirimidínico apresentam atividade antineoplásica, devido à afinidade desse núcleo com o sítio de ligação do ATP nas proteínas quinases. Este trabalho teve como objetivo a criação de um novo tipo de moléculas híbridas, com um núcleo quinazolina ligado a uma cadeia graxa. O propósito é aumentar a solubilidade lipídica dessas moléculas para explorar sua atividade em tecidos que os medicamentos atuais não conseguem alcançar. A reação foi feita em quatro etapas, partindo de um composto de Biginelli, através de metodologias descritas na literatura. Na primeira etapa foi feito a síntese dos compostos de Biginelli; em seguida esses compostos foram oxidados com persulfato de potássio; o produto oxidado foi tratado com POCl3 para formar 2-cloro pirimidinas; na última etapa, foi feita a substituição do cloro por uma amina graxa. A etapa de oxidação foi aperfeiçoada, resultando em melhores rendimentos que os obtidos através do protocolo descrito na literatura. A caracterização por RMN-1H e RMN-13C indicam que molécula alvo foi obtida. O produto será encaminhado para testes biológicos

Iron deficiency and anemia in students from the rural area in Novo Cruzeiro (Minas Gerais) Brazil.

O reconhecimento da relação existente entre a deficiência de ferro e a presença ou ausência de anemia, comprometendo diversas funções do organismo humano, tem sido tema de debates na área de nutrição em âmbito internacional, especialmente por ser uma das deficiências mais prevalentes no mundo. Objetivo: este estudo descreve a ocorrência de deficiência de ferro e busca elucidar a frequência de anemia ferropriva em escolares de área rural. Casuística e Métodos: foram avaliados níveis de hemoglobina, ferro sérico (Fe), capacidade total de ligação de ferro (CTLF) e saturação de transferrina (IST) de 439 escolares da zona rural de Novo Cruzeiro (Minas Gerais) – município situado no Vale do Jequitinhonha. A população estudada foi de escolares na faixa etária de sete a 15 anos, sendo 50,1% do gênero masculino. Resultados: a frequência de anemia nos escolares foi de 12,1% e os parâmetros indicativos de deficiência em ferro mostraram ferro sérico em 17,1%, CTLF em 31,7% e diminuição do IST em 36,2% dos indivíduos. Relacionando as dosagens de ferro sérico, IST, CTLF elevada, indicativos de deficiência e hemoglobina baixa, verificou-se que 41,5% dos escolares anêmicos apresentavam anemia ferropriva. Os demais casos de anemia (58,5%) podem ser explicados por outras causas, como hemoglobinopatias e outras deficiências nutricionais. Dos indivíduos com deficiência de ferro pela CTLF, 26,7% não apresentaram anemia. Conclusão: existe significativa frequência de anemia ferropriva e de deficiência de ferro nessa população rural.The recognition of the existing relationship between iron deficiency and the presence or not of anemia has been subject of debate worldwide in the area of nutrition, especially because this deficiency is one of the most prevalent in the world. Objective: The present study aims at describing the occurrence of iron deficiency among students in a rural area and the frequency of anemia due to this deficiency. Methods and Casuistry: Hemoglobin, serum iron (Fe), transferring saturation (TS)and total iron binding capacity (TIBC) were evaluated in 479 school children from the rural area of Novo Cruzeiro (Minas Gerais), in the valley of the Jequitinhonha river. The population under study comprised 7 to 15 year-old students, 50,1% being males. Results: The frequency of anemia was 12.1%, and the indicative parameters of iron deficiency showed Fe deficiency in 17.1%, TIBC in 31.7% and decreased TS in 36.2% of them. When relating serum iron and TS with increased TIBC (indicative of deficiency) and low hemoglobin level it was verified that 41.5% of the anemic students had anemia due to iron deficiency. The other cases of anemia (58,5%) can be explained by other causes such as nutritional deficiencies and hemoglobinopatias. Anemia hasn’t occurred among the subjects with increased TIBC 26.7%. Conclusion: There is a significant frequency of iron deficiency and anemia due to iron deficiency among this population